Profiles

Xiaoshan Li

Associate Professor of Computer Science, University of Macau

Verified email at umac.mo

Cited by 2630

Computer Science Formal Specification Semantics Object-Oriented Software Engineering UML

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

Verified email at alumni.technion.ac.il

Cited by 2162

formal verification formal specification temporal logic

Andrew Fish

University of Liverpool

Verified email at liverpool.ac.uk

Cited by 1263

Visual Languages Discrete Mathematics Diagrammatic Representations Formal Specification Knot

Tino Teige

Chief Research Engineer Innovation & Technology, BTC Embedded Systems AG

Verified email at btc-es.de

Cited by 1092

formal methods formal specification formal verification formal testing model checking

Stephan Flake

S&N CQM GmbH

Verified email at stephan-flake.de

Cited by 950

Requirements Analysis Formal Specification Software Engineering Agile Software Development

Alexander Bolotov

University of Westminster

Verified email at wmin.ac.uk

Cited by 680

logic automated deduction formal specification formal verification

Darvas Dániel

Verified email at cern.ch

Cited by 613

Model checking formal specification dependable systems PLCs

Andreas Bollin

Univ.-Prof. University of Klagenfurt

Verified email at aau.at

Cited by 570

Computer Science Education Software Engineering Education Reverse Engineering Formal Specification

Carlos Alberto Fernández-y-Fernández

Lecturer of Computer Science, Universidad Tecnológica de la Mixteca

Verified email at mixteco.utm.mx

Cited by 556

Software engineering formal specification object-oriented technology

1 - 10