1
0
0
(1 - 15 von 18
)
Improving active Mealy machine learning for protocol conformance ...
az.art1lib.org
Mach Learn DOI s Improving active Mealy machine learning for protocol conformance testing Fides Aarts · Harco Kuppens · Jan Tretmans ... › book
CONCUR Concurrency Theory: 23rd International ...google.es
books.google.es
Fides Aarts, Faranak Heidarian, and Frits Vaandrager Linearizability with Ownership Transfer Alexey Gotsman and Hongseok Yang ...
Formal Methods and Software Engineering: 17th International ...google.co.uk
books.google.co.uk
... Fides Aarts and Harco Kuppens helped us with the use of LearnLib and CADP, and Jan Tretmans gave useful feedback. References. 1. Aarts, F.: Tomte: bridging ...
Formal Methods for Eternal Networked Software Systems: 11th ...google.co.uk
books.google.co.uk
... Fides Aarts, Therese Bohlin, Sofia Cassel, Olga Grinchtein, Falk Howar, Maik Merten, Bernhard Steffen, Johan Uijen, and Frits Vaandrager. Mistakes and ...
CONCUR Concurrency Theory: 23rd International Conference,...
books.google.de
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne,...
Models, Mindsets, Meta: The What, the How, and the Why Not?: ...google.co.uk
books.google.co.uk
... Fides Aarts, Petra van den Bos, Alexander Fedotov, Paul Fiter ̆au-Brostean, Falk Howar, Joshua Moerman, Erik Poll, and Joeri de Ruiter for helping with the ...
Formal Methods and Software Engineering: 17th International...
books.google.de
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in...
Models, Mindsets, Meta: The What, the How, and the Why Not?: ...google.es
books.google.es
We thank Fides Aarts, Petra van den Bos, Alexander Fedotov, Paul Fiter ̆au-Brostean, Falk Howar, Joshua Moerman, Erik Poll, and Joeri de Ruiter for helping ...
Formal Methods for Eternal Networked Software Systems: 11th...
books.google.de
I wish to thank Fides Aarts, Brian Nielsen, Lars Frantzen, and Frits Vaandrager for discussions and for comments on earlier versions of some of the sections.
CONCUR Concurrency Theory: 23rd International ...
books.google.com
A Theory of History Dependent Abstractions for Learning Interface Automata⋆ Fides Aarts, Faranak Heidarian⋆⋆, and Frits Vaandrager Institute for ...
Testing Software and Systems: 22nd IFIP WG 6.1 International ...google.es
books.google.es
188 Fides Aarts, Bengt Jonsson, and Johan Uijen Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks .
Leveraging Applications of Formal Methods, Verification and...
books.google.de
The two-volume set LNCS and LNCS constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal...
Advances in Computers - Google Books
books.google.de
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and...
FM 2012: Formal Methods: 18th International Symposium, Paris, France,...
books.google.de
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August The
Testing Software and Systems: 22nd IFIP WG 6.1 International...
books.google.de
... Brazil Federal University of Rio Grande do Norte, Brazil External Reviewers Fides Aarts Bruno Abreu Omar Alfandi Erika Almeida VIII Conference Organization.
Verwandte Suchanfragen zu Fides Aarts
| Falk Howar Erik Poll Alexander Fedotov | Imke Reimer Mandy Koch Steffen Michels |
Personen Vorname "Fides" (107) Name "Aarts" (145) |
sortiert nach Relevanz / Datum