Results 121 to 130 of about 4,149 (163)
Some of the next articles are maybe not open access.
1999
The case studies usually found in the B literature present many of the characteristics common to safety-critical software systems. The successful use of B on such systems, as exemplified by several realistic large-size projects [21, 40], has greatly contributed to increasing the interest of industrial practitioners in formal development techniques.
openaire +1 more source
The case studies usually found in the B literature present many of the characteristics common to safety-critical software systems. The successful use of B on such systems, as exemplified by several realistic large-size projects [21, 40], has greatly contributed to increasing the interest of industrial practitioners in formal development techniques.
openaire +1 more source
Proceedings of the Institution of Electrical Engineers, 1975
I. Cahit, R. Cahit
openaire +1 more source
I. Cahit, R. Cahit
openaire +1 more source
Interactive Tree Of Life (iTOL) v5: an online tool for phylogenetic tree display and annotation
Nucleic Acids Research, 2021Ivica Letunic, Peer Bork
exaly
Sensitive protein alignments at tree-of-life scale using DIAMOND
Nature Methods, 2021Benjamin Buchfink +2 more
exaly
Microbial diversity in extreme environments
Nature Reviews Microbiology, 2021Wen-Sheng Shu, Li-Nan Huang
exaly
Structure–property–function relationships of natural and engineered wood
Nature Reviews Materials, 2020Chaoji Chen, Yudi Kuang, Shuze Zhu
exaly
Root of the Tree: The Significance, Evolution, and Origins of the Ribosome
Chemical Reviews, 2020Jessica C Bowman +2 more
exaly