Languages
Larsen, K. G. (1957-)
Overview
| Works: | 8 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal modeling and analysis of timed systems = first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers /
by:
Larsen, K. G. (1957-); SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Niebert, Peter.
(Language materials, printed)
Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday /
by:
Aceto, Luca.; SpringerLink (Online service); Larsen, K. G. (1957-)
(Language materials, printed)
Subjects
Temporal automata
Software Engineering.
Formal methods (Computer science)
Computer logic.
Artificial Intelligence.
Automata
Simulation and Modeling.
Computer simulation
Computer algorithms.
Theory of Computation.
Larsen, K. G.
Parallel processing (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Computer software