Author/Creator: Brim, Luboš - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Brim, Luboš

1. Analysing sanity of requirements for avionics systems. (March 2016)

Authors:: Barnat, Jiří; Bauch, Petr; Beneš, Nikola; Brim, Luboš; Beran, Jan; Kratochvíla, Tomáš
Journal:: Formal aspects of computing
Issue:: Volume 28:Number 1(2016)
Page Start:: 45
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Analysing sanity of requirements for avionics systems. (March 2016)

Authors:: Barnat, Jiří; Bauch, Petr; Beneš, Nikola; Brim, Luboš; Beran, Jan; Kratochvíla, Tomáš
Journal:: Formal aspects of computing
Issue:: Volume 28:Number 1(2016)
Page Start:: 45
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Rule-based modelling of biological systems using regulated rewriting. (March 2023)

Authors:: Troják, Matej; Šafránek, David; Pastva, Samuel; Brim, Luboš
Journal:: Bio systems
Issue:: Volume 225(2023)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Temporary and permanent control of partially specified Boolean networks. (January 2023)

Authors:: Brim, Luboš; Pastva, Samuel; Šafránek, David; Šmijáková, Eva
Journal:: Bio systems
Issue:: Volume 223(2023)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗