Howar, Falk.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal methods for industrial critical systems23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings /
by:
(1998 :); Barnat, Jiri.; Howar, Falk.; SpringerLink (Online service)
(Electronic resources)
Tests and proofs18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
(1998 :); Howar, Falk.; Huisman, Marieke.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Theory of Computation.
Informal Logic.
Computer software
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programs
The Computing Profession.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
Models of Computation.