Back to Results
First PageMeta Content
Computer science / Automata theory / Concurrency / Diagrams / Petri net / Formal verification / Temporal logic / Finite-state machine / Modal logic / Models of computation / Applied mathematics / Theoretical computer science


Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems
Add to Reading List

Document Date: 2013-04-03 20:03:57

Open Document

File Size: 1,60 MB

Share Result on Facebook

Company

NII - Inoue Laboratory / /

Country

France / /

/

Event

Person Travel / /

IndustryTerm

timed transitions systems / Model-checking algorithms / biological regulatory network / dynamic systems / gene regulation network / /

Organization

Ecole Centrale de Nantes / /

Person

Morgan Magnin / /

URL

www.morganmagnin.net / /

SocialTag