Search for persons
X
?
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science ,
2
A BRDL-Based Framework for Motivators and Emotions:
, In:
?
Formal Methods for an Informal World; Lecture Notes in Computer Science ,
3
Modelling and Analysing Cognition and Interaction:
, In:
?
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science ,
4
Executive Function and Intelligent Goal-Directed Behavior: ..:
, In:
?
5
Formal Methods for an Informal World: ICTAC 2021 Summer Sch..
Lecture Notes in Computer Science, 13490
?
Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering ,
6
Correction to: Formal Methods for Software Engineering:
, In:
?
Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering ,
7
The Process Algebra CSP:
, In:
?
Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering ,
8
Logics for Software Engineering:
, In:
?
9
Software Engineering and Formal Methods. SEFM 2021 Collocat..
Lecture Notes in Computer Science, 13230
?
Lecture Notes in Computer Science; Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops ,
10
In Silico Simulations and Analysis of Human Phonological Wo..:
, In:
?
Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering ,
11
Formal Methods for Human-Computer Interaction:
, In:
?
12
Formal Methods for Software Engineering: Languages, Methods..
Texts in Theoretical Computer Science. An EATCS Series
?
From Data to Models and Back; Lecture Notes in Computer Science ,
13
Ten Years of DataMod: The Synergy of Data-Driven and Model-..:
, In:
?
From Data to Models and Back; Lecture Notes in Computer Science ,
14
A Web-Based Tool for Collaborative Modelling and Analysis i..:
, In:
?
Communications in Computer and Information Science; Formal Methods – Fun for Everybody ,
15