Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems
The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practic...
Saved in:
| Published in | Mathematical structures in computer science Vol. 23; no. 4; p. 675 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
Cambridge, UK
Cambridge University Press
01.08.2013
|
| Subjects | |
| Online Access | Get full text |
Cover
Loading…
| Abstract | The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection. |
|---|---|
| AbstractList | The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection. The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection. The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection. [PUBLICATION ABSTRACT] |
| Author | KFOURY, ASSAF BESTAVROS, AZER |
| Author_xml | – sequence: 1 givenname: AZER surname: BESTAVROS fullname: BESTAVROS, AZER email: best@cs.bu.edu organization: Computer Science Department, Boston University, Boston, Massachusetts 02215, U.S.A. Email: best@cs.bu.edu; kfoury@cs.bu.edu – sequence: 2 givenname: ASSAF surname: KFOURY fullname: KFOURY, ASSAF email: best@cs.bu.edu organization: Computer Science Department, Boston University, Boston, Massachusetts 02215, U.S.A. Email: best@cs.bu.edu; kfoury@cs.bu.edu |
| BookMark | eNp1kEtLAzEUhYNUsK3-AHcB16PJTOYRd1J8QUFBXQ-ZzE2bMi9zU3T-vRnrQhA39yzudy73nAWZdX0HhJxzdskZz69emMwYj2XKE8YYF-kRmXORyahgeTwj82kdTfsTskDcBSThTM7J57MDozRQ31McQFvVUIu4h2va2M3Wf8A0qepqOjilvdUBML1rg7Tgt32N1HbUb4HWgHbTfaOqU82IFmlvKCoDfoy0swczjuihxVNybFSDcPajS_J2d_u6eojWT_ePq5t1pBMe-ygWhakAVCYrYRTPK5MwiINArQSLIZVMGKZizYQWVRpSVlpludKiEJUIKZfk4nB3cP37HtCXu37vwn9Y8kQWQooszwPFD5R2PWKopBycbZUbS87KqeDyT8HBk_x4VFs5W2_g1-l_XV_n44Cr |
| ContentType | Journal Article |
| Copyright | Copyright © Cambridge University Press 2013 |
| Copyright_xml | – notice: Copyright © Cambridge University Press 2013 |
| DBID | AAYXX CITATION 3V. 7SC 7XB 88I 8AL 8FD 8FE 8FG 8FK ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L6V L7M L~C L~D M0N M2P M7S P5Z P62 PQEST PQQKQ PQUKI PRINS PTHSS Q9U |
| DOI | 10.1017/S0960129513000145 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Science Database (Alumni Edition) Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central Advanced Technologies & Aerospace Database (1962 - current) ProQuest Central Essentials ProQuest Central Technology Collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Premium Collection (Proquest) (PQ_SDU_P3) ProQuest Computer Science Collection Computer Science Database ProQuest Engineering Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database ProQuest Science Journals Engineering Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Academic ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection ProQuest Central Basic |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest Engineering Collection ProQuest Central Korea Advanced Technologies Database with Aerospace Engineering Collection Advanced Technologies & Aerospace Collection ProQuest Computing Engineering Database ProQuest Science Journals (Alumni Edition) ProQuest Central Basic ProQuest Science Journals ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest One Academic ProQuest Central (Alumni) |
| DatabaseTitleList | CrossRef Computer Science Database |
| Database_xml | – sequence: 1 dbid: 8FG name: ProQuest Technology Collection url: https://search.proquest.com/technologycollection1 sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| DocumentTitleAlternate | A. Bestavros and A. Kfoury Preface to special issue |
| EISSN | 1469-8072 |
| EndPage | 675 |
| ExternalDocumentID | 3014277841 10_1017_S0960129513000145 |
| Genre | Feature |
| GeographicLocations | United States--US |
| GeographicLocations_xml | – name: United States--US |
| GroupedDBID | -1D -1F -2P -2V -E. -~6 -~N .DC .FH 09C 09E 0E1 0R~ 29M 3V. 4.4 5GY 5VS 6~7 74X 74Y 7~V 88I 8FE 8FG 8R4 8R5 9M5 AAAZR AABES AABWE AACJH AAEED AAFUK AAGFV AAKTX AAMNQ AANRG AARAB AASVR AAUIS AAUKB ABBXD ABBZL ABITZ ABJCF ABJNI ABKKG ABMWE ABMYL ABQTM ABQWD ABROB ABTCQ ABUWG ABVFV ABXAU ABZCX ACBMC ACCHT ACETC ACGFS ACGOD ACIMK ACIWK ACMRT ACQFJ ACREK ACUIJ ACUYZ ACWGA ACYZP ACZBM ACZUX ACZWT ADCGK ADDNB ADFEC ADGEJ ADKIL ADOCW ADOVH ADOVT ADVJH AEBAK AEBPU AEHGV AEMTW AENCP AENEX AENGE AEYYC AFFUJ AFKQG AFKRA AFKSM AFLOS AFLVW AFUTZ AGABE AGBYD AGJUD AGLWM AGOOT AHQXX AHRGI AIGNW AIHIV AIOIP AISIE AJ7 AJCYY AJPFC AJQAS AKZCZ ALMA_UNASSIGNED_HOLDINGS ALVPG ALWZO AQJOH ARABE ARAPS ARZZG ATUCA AUXHV AYIQA AZQEC BBLKV BCGOX BENPR BESQT BGHMG BGLVJ BJBOZ BLZWO BMAJL BPHCQ C0O CAG CBIIA CCPQU CCQAD CCTKK CCUQV CDIZJ CFAFE CFBFF CGQII CHEAL CJCSC COF CS3 DC4 DOHLZ DU5 DWQXO EBS EGQIC EJD GNUQQ HCIFZ HG- HST HZ~ I.6 I.7 I.9 IH6 IOEEP IOO IS6 I~P J36 J38 J3A JHPGK JQKCU K6V K7- KAFGG KC5 KCGVB KFECR L6V L98 LHUNA LW7 M-V M0N M2P M7S M7~ M8. NIKVX NMFBF NZEOI O9- OYBOY P2P P62 PQQKQ PROAC PTHSS PYCCK Q2X RAMDC RCA RIG ROL RR0 S6- S6U SAAAG T9M TN5 UT1 WFFJZ WQ3 WXU WXY WYP XJT ZDLDU ZJOSE ZMEZD ZYDXJ ~V1 AAYXX ABVZP CITATION CTKSN 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D PQEST PQUKI PRINS Q9U |
| ID | FETCH-LOGICAL-c312t-248fbeea69b4fa17bf30e27bfeda402e5904f0a2c04c4b5960bca67ac484b4013 |
| IEDL.DBID | 8FG |
| ISSN | 0960-1295 |
| IngestDate | Thu Oct 10 18:31:50 EDT 2024 Thu Sep 26 18:56:21 EDT 2024 Wed Mar 13 05:58:55 EDT 2024 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 4 |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c312t-248fbeea69b4fa17bf30e27bfeda402e5904f0a2c04c4b5960bca67ac484b4013 |
| OpenAccessLink | https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DCF7E251FFE8552AF1EE97375C4CD46B/S0960129513000145a.pdf/div-class-title-preface-to-special-issue-lightweight-and-practical-formal-methods-in-the-design-and-analysis-of-safety-critical-systems-div.pdf |
| PQID | 1398494677 |
| PQPubID | 33085 |
| PageCount | 1 |
| ParticipantIDs | proquest_journals_1398494677 crossref_primary_10_1017_S0960129513000145 cambridge_journals_10_1017_S0960129513000145 |
| PublicationCentury | 2000 |
| PublicationDate | 20130800 2013-08-00 20130801 |
| PublicationDateYYYYMMDD | 2013-08-01 |
| PublicationDate_xml | – month: 08 year: 2013 text: 20130800 |
| PublicationDecade | 2010 |
| PublicationPlace | Cambridge, UK |
| PublicationPlace_xml | – name: Cambridge, UK – name: Cambridge |
| PublicationSubtitle | MSCS |
| PublicationTitle | Mathematical structures in computer science |
| PublicationTitleAlternate | Math. Struct. Comp. Sci |
| PublicationYear | 2013 |
| Publisher | Cambridge University Press |
| Publisher_xml | – name: Cambridge University Press |
| SSID | ssj0013109 |
| Score | 1.9585375 |
| Snippet | The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research... The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research... |
| SourceID | proquest crossref cambridge |
| SourceType | Aggregation Database Publisher |
| StartPage | 675 |
| SubjectTerms | Computer science Editorial Preface Mathematical analysis Systems design |
| Title | Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems |
| URI | https://www.cambridge.org/core/product/identifier/S0960129513000145/type/journal_article https://www.proquest.com/docview/1398494677 |
| Volume | 23 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV3fS8MwEA66vfjib3E6Rx58EoNtlzatL6LiHIJjiIO9lSRNQBjttBX1v_eSpnND2FMhDfdwSe6-y13uQ-jcjyMVhH3YvCKMCU36knDwbCTSEfOlSd0o81D4eRQNJ_RpGk7dhVvpyiobm2gNdVZIc0d-BUglpoYPnt3M34lhjTLZVUehsYnafsCYCb7iweNfFsGvSzwApRPwa2GT1bQto2HQjJl0jkmtLfdWWPVRqyba-p3BLtp2gBHf1iu8hzZUvo92GjIG7M7mAfoegxwuFa4KXNak8tgq9RrPTAD-Ze9AMc8z7F5GwQSLWGe4ppEu8VuOAQ_izFZ12Knc9SzBhcYl16r6IdKRI-C6CXR5iCaDh9f7IXG0CkT2_aAiAY21UIpHiaCa-0zovqcC-KiMQzSpwsSj2uOB9KikIgQ9CckjxiWNqTDh2BFq5UWujhEWCfOzSMeZgrAkZiAW_L02XeAyxQAbdNDlQqmpOxxlWheWsfTfGnTQRaP3dF4321g3uduszJLoxS45Wf_7FG0FltjClPJ1Uav6-FRnAC8q0bN7qIfadw-j8csv9qzM-w |
| link.rule.ids | 315,783,787,12777,21400,27936,27937,33385,33756,43612,43817 |
| linkProvider | ProQuest |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV1LSwMxEA5aD3rxLVar5uBJDO4j-_IiItaqbfHQgrclySYglN3qrqj_3kk2W1uEnhayYQ6TZOabzGQ-hM7dOJRe4MPm5UFMaOILwsCzkVCFkSt06kbqh8KDYdgb06fX4NVeuJW2rLKxicZQZ4XQd-RXgFRiqvngo5vpO9GsUTq7aik0VtEa9cFX65fi3Ye_LIJbl3gASifg14Imq2laRsOgHtPpHJ1am--tsOijFk208TvdbbRpASO-rVd4B63IfBdtNWQM2J7NPfT9AnKYkLgqcFmTymOj1Gs80QH4l7kDxSzPsH0ZBRMMYp3gmka6xG85BjyIM1PVYaYy27MEFwqXTMnqhwhLjoDrJtDlPhp370d3PWJpFYjwXa8iHo0Vl5KFCaeKuRFXviM9-MiMQTQpg8ShymGecKigPAA9ccHCiAkaU67DsQPUyotcHiLMk8jNQhVnEsKSOAKx4O-V7gKXyQiwQRtdzpSa2sNRpnVhWZT-W4M2umj0nk7rZhvLJnealZkTPdslR8t_n6H13mjQT_uPw-djtOEZkgtd1tdBrerjU54A1Kj4qdlPvy5lzkM |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Preface+to+special+issue%3A+lightweight+and+practical+formal+methods+in+the+design+and+analysis+of+safety-critical+systems&rft.jtitle=Mathematical+structures+in+computer+science&rft.au=BESTAVROS%2C+AZER&rft.au=KFOURY%2C+ASSAF&rft.date=2013-08-01&rft.pub=Cambridge+University+Press&rft.issn=0960-1295&rft.eissn=1469-8072&rft.volume=23&rft.issue=4&rft.spage=675&rft_id=info:doi/10.1017%2FS0960129513000145&rft.externalDocID=3014277841 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0960-1295&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0960-1295&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0960-1295&client=summon |