1![Under consideration for publication in Formal Aspects of Computing Maximally Concurrent Programs 1 Under consideration for publication in Formal Aspects of Computing Maximally Concurrent Programs 1](https://www.pdfsearch.io/img/1baa43cedce394f069d35400987a9ac2.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
2![Under consideration for publication in Formal Aspects of Computing Bisimulations in Calculi Modelling Membranes Roberto Barbuti1 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 and Angelo Troina2 1 Dipartimento Under consideration for publication in Formal Aspects of Computing Bisimulations in Calculi Modelling Membranes Roberto Barbuti1 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 and Angelo Troina2 1 Dipartimento](https://www.pdfsearch.io/img/d73aa67bb30888a882bf1ebfd0b214af.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:15
|
---|
3![arXiv:1605.02529v1 [cs.SE] 9 MayUnder consideration for publication in Formal Aspects of Computing Verification of interlocking systems using statistical model checking arXiv:1605.02529v1 [cs.SE] 9 MayUnder consideration for publication in Formal Aspects of Computing Verification of interlocking systems using statistical model checking](https://www.pdfsearch.io/img/30dd1506401baff680f02d0d9c5a8dbf.jpg) | Add to Reading ListSource URL: www.info.ucl.ac.beLanguage: English - Date: 2018-07-26 05:20:31
|
---|
4![To appear in Formal Aspects of Computing Requirements, specifications and minimal refinement Nikos Gorogiannis† and Mark Ryan‡ † To appear in Formal Aspects of Computing Requirements, specifications and minimal refinement Nikos Gorogiannis† and Mark Ryan‡ †](https://www.pdfsearch.io/img/9c2b2b4385eabc56d89406780136a264.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.uk.Language: English - Date: 2009-02-25 10:33:23
|
---|
5![6 June 2016, 16:50 : Submitted to Formal Aspects of Computing From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering Dines Bjørner 6 June 2016, 16:50 : Submitted to Formal Aspects of Computing From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering Dines Bjørner](https://www.pdfsearch.io/img/c9f6df07e616a1f01d62378e35b368f0.jpg) | Add to Reading ListSource URL: www2.compute.dtu.dk- Date: 2016-06-07 01:25:17
|
---|
6![6 June 2016, 16:50 : Submitted to Formal Aspects of Computing From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering Dines Bjørner 6 June 2016, 16:50 : Submitted to Formal Aspects of Computing From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering Dines Bjørner](https://www.pdfsearch.io/img/1faa55d932f5fa3be053bfd7497c289b.jpg) | Add to Reading ListSource URL: www.imm.dtu.dk- Date: 2016-06-07 01:25:17
|
---|
7![11 June 2016: 19:02 : to be submitted to Formal Aspects of Computing Domains Their Simulation, Monitoring and Control — A Divertimento of Ideas and Suggestions — Dines Bjørner1 11 June 2016: 19:02 : to be submitted to Formal Aspects of Computing Domains Their Simulation, Monitoring and Control — A Divertimento of Ideas and Suggestions — Dines Bjørner1](https://www.pdfsearch.io/img/70a74416b46bd406d74df654b5afeed0.jpg) | Add to Reading ListSource URL: www2.compute.dtu.dk- Date: 2016-06-11 13:03:25
|
---|
8![Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods](https://www.pdfsearch.io/img/a9e020b1f2e087de8b76fb71f992838f.jpg) | Add to Reading ListSource URL: www.imm.dtu.dk- Date: 2016-09-28 03:17:34
|
---|
9![Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods](https://www.pdfsearch.io/img/ae424494a3b03e569d1c0f2fce994fe6.jpg) | Add to Reading ListSource URL: www2.compute.dtu.dk- Date: 2016-09-28 03:17:34
|
---|
10![7 June 2016, 08:16 am: Submitted to Formal Aspects of Computing Domain Facets Analysis & Description – 7 June 2016, 08:16 am Dines Bjørner Fredsvej 11, DK-2840 Holte, Denmark. 7 June 2016, 08:16 am: Submitted to Formal Aspects of Computing Domain Facets Analysis & Description – 7 June 2016, 08:16 am Dines Bjørner Fredsvej 11, DK-2840 Holte, Denmark.](https://www.pdfsearch.io/img/514b36d2b3f46f6f0afe835c638aab10.jpg) | Add to Reading ListSource URL: www2.compute.dtu.dk- Date: 2016-09-24 08:33:45
|
---|