Xiaoshan Li

Xiaoshan Li

Associate Professor of Computer Science, University of Macau
Verified email at umac.mo
Cited by 2575
Computer Science Formal Specification Semantics Object-Oriented Software Engineering UML
Arthur Ryman

Arthur Ryman

Adjunct Professor, Toronto Metropolitan University
Verified email at torontomu.ca
Cited by 2450
Data Science Software Engineering Formal Specification Theoretical Physics
Cindy Eisner

Cindy Eisner

Verified email at alumni.technion.ac.il
Cited by 2142
formal verification formal specification temporal logic
Andrew Fish

Andrew Fish

University of Liverpool
Verified email at liverpool.ac.uk
Cited by 1247
Visual Languages Discrete Mathematics Diagrammatic Representations Formal Specification Knot
Tino Teige

Tino Teige

Chief Research Engineer Innovation & Technology, BTC Embedded Systems AG
Verified email at btc-es.de
Cited by 1080
formal methods formal specification formal verification formal testing model checking
Stephan Flake

Stephan Flake

S&N CQM GmbH
Verified email at stephan-flake.de
Cited by 944
Requirements Analysis Formal Specification Software Engineering Agile Software Development
Alexander Bolotov

Alexander Bolotov

University of Westminster
Verified email at wmin.ac.uk
Cited by 669
logic automated deduction formal specification formal verification
Darvas Dániel

Darvas Dániel

Verified email at cern.ch
Cited by 591
Model checking formal specification dependable systems PLCs
Andreas Bollin

Andreas Bollin

Univ.-Prof. University of Klagenfurt
Verified email at aau.at
Cited by 557
Computer Science Education Software Engineering Education Reverse Engineering Formal Specification
julaily aida jusoh

julaily aida jusoh

universiti sultan zainal abidin
Cited by 422
data mining pattern mining software engineering formal specification information retrieval
1 - 10