語系
Stoelinga, Marielle.
概要
| 作品: | 3 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal modeling and analysis of timed systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings /
by:
Stoelinga, Marielle.; SpringerLink (Online service); FORMATS (Conference) (2019 :); Andre, Etienne.
(書目-電子資源)
Fundamental approaches to software engineering = 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings /
by:
FASE (Conference) (2021 :); Guerra, Esther.; Stoelinga, Marielle.; SpringerLink (Online service); ETAPS (Conference) (2021 :)
(書目-電子資源)
A journey from process algebra via timed automata to model learning = essays dedicated to Frits Vaandrager on the occasion of his 60th birthday /
by:
Stoelinga, Marielle.; SpringerLink (Online service); Jansen, Nils.; Vaandrager, Frits,; Bos, Petra van den.
(書目-電子資源)
Stochastic model checking = rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : advanced lectures /
by:
Remke, Anne.; Stoelinga, Marielle.; SpringerLink (Online service)
(書目-電子資源)
Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings /
by:
Stoelinga, Marielle.; Pinger, Ralf.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Data Structures and Information Theory.
Natural Language Processing (NLP)
Theory of Computation.
Computer programs- Reliability
Logics and Meanings of Programs.
Stochastic models
Software Engineering/Programming and Operating Systems.
Logic in AI.
Computation by Abstract Devices.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Computer Appl. in Administrative Data Processing.
Programming Languages, Compilers, Interpreters.
Computer simulation
Computer Engineering and Networks.
Computer science- Mathematics.
Computer Science.
Probability and Statistics in Computer Science.
Simulation and Modeling.
Computer System Implementation.
Computer programs- Verification
Temporal automata
System analysis