Pettersson, Paul.
Overview
| Works: | 3 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal Modeling and Analysis of Timed Systems :Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
by:
(1998 :); Pettersson, Paul.; SpringerLink (Online service); Yi, Wang
(Electronic resources)
Confessions of an AI brain
by:
Fersman, Elena.; Karapantelakis, Athanasios.; Pettersson, Paul.; SpringerLink (Online service)
(Electronic resources)
Real time and suchessays dedicated to Wang Yi to celebrate his scientific career /
by:
Graf, Susanne.; Pettersson, Paul.; SpringerLink (Online service); Steffen, Bernhard.; Yi, Wang,
(Electronic resources)
Subjects
Software Engineering.
Artificial intelligence
Automata
Logics and Meanings of Programs.
Thought and thinkingxData processing.
Robotics.
Ethics of Technology.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer simulation
Artificial Intelligence.
Control, Robotics, Automation.
Formal Languages and Automata Theory.
Computer Science.
Computers and Society.
Real-time data processing.
Temporal automata