Hồ sơ

Xiaoshan Li

Associate Professor of Computer Science, University of Macau

Email được xác minh tại umac.mo

Trích dẫn 2673 bài viết

Computer Science Formal Specification Semantics Object-Oriented Software Engineering UML

Arthur Ryman

Adjunct Professor, Toronto Metropolitan University

Email được xác minh tại torontomu.ca

Trích dẫn 2509 bài viết

Data Science Software Engineering Formal Specification Theoretical Physics

Cindy Eisner

Email được xác minh tại alumni.technion.ac.il

Trích dẫn 2195 bài viết

formal verification formal specification temporal logic

Andrew Fish

University of Liverpool

Email được xác minh tại liverpool.ac.uk

Trích dẫn 1289 bài viết

Visual Languages Discrete Mathematics Diagrammatic Representations Formal Specification Knot

Tino Teige

Chief Research Engineer Innovation & Technology, BTC Embedded Systems AG

Email được xác minh tại btc-es.de

Trích dẫn 1104 bài viết

formal methods formal specification formal verification formal testing model checking

Stephan Flake

S&N CQM GmbH

Email được xác minh tại stephan-flake.de

Trích dẫn 958 bài viết

Requirements Analysis Formal Specification Software Engineering Agile Software Development

Carlos Alberto Fernández-y-Fernández

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

Email được xác minh tại mixteco.utm.mx

Trích dẫn 768 bài viết

Software engineering formal specification object-oriented technology

Alexander Bolotov

University of Westminster

Email được xác minh tại wmin.ac.uk

Trích dẫn 670 bài viết

logic automated deduction formal specification formal verification

Darvas Dániel

Email được xác minh tại cern.ch

Trích dẫn 622 bài viết

Model checking formal specification dependable systems PLCs

Andreas Bollin

Univ.-Prof. University of Klagenfurt

Email được xác minh tại aau.at

Trích dẫn 598 bài viết

Computer Science Education Software Engineering Education Reverse Engineering Formal Specification

1 - 10