Wijs, Anton.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Model Checking Software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
by:
SpringerLink (Online service); Bošnački, Dragan.; Wijs, Anton.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
SpringerLink (Online service); Wijs, Anton.; Salaün, Gwen.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings /
by:
Wijs, Anton.; Salaün, Gwen.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Model checking software = 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Wijs, Anton.; Neele, Thomas.
(Language materials, printed)
Model checking software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
by:
SpringerLink (Online service); Bosnacki, Dragan.; Workshop on the Preservation of Stability under Discretization ((2001 :); Wijs, Anton.
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Software Engineering/Programming and Operating Systems.
Computer System Implementation.
Computer logic.
Computer networks .
Computer Communication Networks.
Software engineering.
Computers, Special purpose.
Architecture, Computer.
Computer Science.
Microprogramming .
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software
Special purpose computers.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Computer communication systems.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Computer systems.
Control Structures and Microprogramming.
Computer science.
Control, Robotics, Automation.
Software engineering