Back to Results
First PageMeta Content
Model checking / Academia / Knowledge / Logic / Formal methods / Temporal logic / Mathematical logic / Formal verification / Rajeev Alur / Formal sciences / Model checkers / Science


DOCTORAL CANDIDATE: Daniela Lepri DEGREE:
Add to Reading List

Open Document

File Size: 180,89 KB

Share Result on Facebook

Company

RealTime Systems / /

IndustryTerm

car crash / formal verification tools / real-time embedded systems / time-robust real-time systems / real-time systems / model checking algorithms / /

Organization

Mathematics and Natural Sciences DEPARTMENT / Faculty of Mathematics / Philosophiae Doctor FACULTY / /

Person

Olaf Owe / Erika Ábrahám / Maude specifications / Formal Methods / Peter Csaba Ølveczky / Daniela Lepri / /

Position

Model / /

Technology

model checking algorithms / /

SocialTag