iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/60/3606.rss
dblp: Pauline Kan https://dblp.org/pid/60/3606.html dblp person page RSS feed Thu, 25 Apr 2024 05:53:08 +0200 en-US daily 1 released under the CC0 1.0 license dblp@dagstuhl.de (dblp team) dblp@dagstuhl.de (dblp team) Computers/Computer_Science/Publications/Bibliographies http://www.rssboard.org/rss-specification https://dblp.org/img/logo.144x51.pngdblp: Pauline Kanhttps://dblp.org/pid/60/3606.html14451 Structuring specifications of reactive systems using B.https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.429934:
Structuring specifications of reactive systems using B. King's College London, UK, ]]>https://dblp.org/rec/phd/ethos/Kan06Sun, 01 Jan 2006 00:00:00 +0100 Invariant-Based Synthesis of Fault-Tolerant Systems.https://doi.org/10.1007/3-540-45352-0_6, , , :
Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT : 46-57]]>https://dblp.org/rec/conf/ftrtft/LanoCAK00Sat, 01 Jan 2000 00:00:00 +0100 Structuring Reactive Systems in B AMN.https://doi.org/10.1109/ICFEM.2000.873802, , :
Structuring Reactive Systems in B AMN. ICFEM : 25-34]]>https://dblp.org/rec/conf/icfem/LanoAK00Sat, 01 Jan 2000 00:00:00 +0100 Systematising Reactive System Design.https://doi.org/10.1007/3-540-49253-4_3, , :
Systematising Reactive System Design. AMAST : 17-22]]>https://dblp.org/rec/conf/amast/MaibaumKL98Thu, 01 Jan 1998 00:00:00 +0100 Linking Hazard Analysis to Formal Specification and Design in B.https://doi.org/10.1007/3-540-49646-7_5, , :
Linking Hazard Analysis to Formal Specification and Design in B. SAFECOMP : 60-74]]>https://dblp.org/rec/conf/safecomp/LanoKS98Thu, 01 Jan 1998 00:00:00 +0100 Compositional Specification of Controllers for Batch Process Operations.https://doi.org/10.1007/978-3-540-49676-2_18, , :
Compositional Specification of Controllers for Batch Process Operations. ZUM : 250-264]]>https://dblp.org/rec/conf/zum/LanoKS98Thu, 01 Jan 1998 00:00:00 +0100