Author/Creator: Howar, Falk - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Howar, Falk

1. Active learning for extended finite state machines. (April 2016)

Authors:: Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Steffen, Bernhard
Journal:: Formal aspects of computing
Issue:: Volume 28:Number 2(2016)
Page Start:: 233
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Active learning for extended finite state machines. (April 2016)

Authors:: Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Steffen, Bernhard
Journal:: Formal aspects of computing
Issue:: Volume 28:Number 2(2016)
Page Start:: 233
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. (2018)

Editors:: Howar, Falk; Barnat, Jiří
Other Names:: International Workshop on Formal Methods for Industrial Critical Systems, 23rd
Record Type:: Book
Extent:: 1 online resource (xvi, 291 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗