Back to Results
First PageMeta Content
Software engineering / Computing / Theoretical computer science / Formal methods / UML diagrams / Model checking / Finite-state machine / ALGOL 68 / UML state machine / Models of computation / Automata theory / Digital electronics


Document Date: 2014-10-30 17:26:17

Open Document

File Size: 1,18 MB

Share Result on Facebook

Company

Open Source Software / Papyrus Alf / /

Facility

Budapest University of Technology / WhileStatement Factory / /

Organization

Technology and Economics Department of Measurement and Information Systems Model Based Analysis / Budapest University of Technology / /

Person

Moka Moliz / Raimund-Andreas Konnerth / Abstract Syntax / /

Position

/ Editor / Guard / /

ProgrammingLanguage

ALF / Java / QVT / /

Technology

Java / API / /

SocialTag