Zobrazeno 1 - 10
of 465
pro vyhledávání: '"Clark Wood"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dougherty, F. W. P.
Publikováno v:
Sudhoffs Archiv, 1985 Jan 01. 69(1), 100-101.
Externí odkaz:
https://www.jstor.org/stable/20776963
Autor:
Steele, Victoria
Publikováno v:
The Papers of the Bibliographical Society of America, 1984 Jun 01. 78(2), 263-264.
Externí odkaz:
https://www.jstor.org/stable/24302801
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
F C, Wood
Publikováno v:
Transactionsstudies of the College of Physicians of Philadelphia. 13(2)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::8618326b63bd2fcb97b0188eb5312447
https://pubmed.ncbi.nlm.nih.gov/1877083
https://pubmed.ncbi.nlm.nih.gov/1877083
Autor:
F C, Wood
Publikováno v:
The Medical clinics of North America. 50(5)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::7e4ba0e24ce5a4faf1f389d00c63b7a6
https://pubmed.ncbi.nlm.nih.gov/5339486
https://pubmed.ncbi.nlm.nih.gov/5339486
Publikováno v:
PLDI
The interfaces between layers of a system are susceptible to bugs if developers of adjacent layers proceed under subtly different assumptions. Formal verification of two layers against the same formal model of the interface between them can be used t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::71d093f43c6307ab9c8970f760ef08fb
https://doi.org/10.1145/3453483.3454065
https://doi.org/10.1145/3453483.3454065
Autor:
Victoria Steele
Publikováno v:
The Papers of the Bibliographical Society of America. 78:263-264
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3bcba05dd0d8d88f5dd6eb5d9688f6fa
https://doi.org/10.1086/pbsa.78.2.24302801
https://doi.org/10.1086/pbsa.78.2.24302801
Autor:
John Paul North
Publikováno v:
Medical Clinics of North America. 50:1201-1202
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f30ed4acdac8b600cac05208bea608b
https://doi.org/10.1016/s0025-7125(16)33118-2
https://doi.org/10.1016/s0025-7125(16)33118-2